$\forall$$T$:Type, $a$:($T$ List), $x$:$T$. l\_disjoint($T$;[$x$];$a$) $\Leftarrow\!\Rightarrow$ ($\neg$($x$ $\in$ $a$))